Systematic Black-Box Testing of Computer-Based Systems through Formal Abstraction Techniques
ثبت نشده
چکیده
منابع مشابه
Systematic Black-Box Testing of Computer-Based Systems through Formal Abstraction Techniques
In the past of computer science, sometimes, a gap between the testing and the formal methods community could be observed. Testers did not believe in the applicability of formal verification techniques to real world problems, and formal methods’ advocates could not accept testing-techniques as an adequate verification method for producing correct software. However, today the gap is closing and t...
متن کاملTesting Distributed Component Based Systems Using UML/OCL
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, code for runtime checking of components in J2EE/EJB is automatically generated. Thus, a UML–model for a component can be used in a black–box test for the component. Further we introduce different design patterns for EJBs...
متن کاملChecking OCL Constraints in Distributed Systems using J2EE/EJB
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, code for runtime checking of components in J2EE/EJB is automatically generated. Thus, a UML–model for a component can be used in a black–box test for the component. Further we introduce different design patterns for EJBs...
متن کاملOn the applicability of Artificial Intelligence in Black Box Testing
Efficient and thorough testing is essential to create quality software. In some cases, software code may not be available in testing phase. In such scenarios black box testing is used. The work presents various black box testing techniques. A systematic literature review has been carried out according to the guidelines proposed by kitchenham. The work discusses the applicability of artificial i...
متن کاملAn Empirical Evaluation of Three Defect-Detection Techniques
We replicated a controlled experiment first run in the early 1980’s to evaluate the effectiveness and efficiency of 50 student subjects who used three defectdetection techniques to observe failures and isolate faults in small C programs. The three techniques were code reading by stepwise abstraction, functional (black-box) testing, and structural (white-box) testing. Two internal replications s...
متن کامل